formal motion